Sophistication du système d’information des PME exportatrices libanaises

Séro-neutralisation de sous-types A de virus aphteux sur un système cellulaire. Etablissement des relations liant le titre du sérum au titre du virus

Exploration des Données du Défi EGC 2016 à l'aide d'un Système d'Information Logique

Résumé. Nous présentons dans cet article les méthodes employées et les résultats obtenus en réponse au Défi EGC 2016. Notre approche repose d’une part sur des chaînes automatiques de traitements linguistiques en français et en anglais utilisant le plus possible des ressources et outils publics et d’autre part sur un environnement d’exploration des données basé sur les systèmes d’information log...

Calibrage du seuil par linéarisation des scores par intervalles dans un système de filtrage adaptatif

RÉSUMÉ. Dans un contexte incrémental, l’adaptation du profil change la distribution des scores des documents, et doit par conséquent être suivie par l’adaptation du seuil. Dans ce papier, nous proposons une méthode qui permet d’effectuer le seuillage en se basant sur l’estimation de la distribution de probabilités des scores des documents reçus. Les paramètres des lois de probabilités suivies p...

Étude des dimensions spécifiques du contexte dans un système de filtrage d'informations

Que ce soit dans le contexte des systèmes d’information d’entreprise, du commerce électronique, de l’accès au savoir et aux connaissances ou même des loisirs, la pertinence de l’information délivrée aux usages constitue un fact eur clé du succès ou du rejet de ces systèmes d’information. La qualité d’accès est conditionnée donc par l’accès à la bonne information, au bon moment, à l’endroit et s...

Résultats de complétude pour des classes de types du système AF2

J.-L. Krivine introduced the AF2 type system in order to obtain programs (λterms) which calculate functions, by writing demonstrations of their totalities. We present in this paper two results of completness for some types of AF2 and for many notions of reductions. These results generalize a theorem of R. Labib-Sami established in the system F of J.-Y. Girard. Résumé. J.-L. Krivine a introduit ...